Building a push-button RESOLVE verifier: Progress and challenges

机译：构建按钮REsOLVE验证程序：进度和挑战

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Murali Sitaraman; Bruce Adcock; Derek Bronish; Paolo Bucci; Jeremy Avigad; Jason Kirschenbaum; Bruce W. Weide;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Building a push-button RESOLVE verifier: progress and challenges [J] . Murali Sitaraman, Bruce Adcock, Jeremy Avigad, Formal Aspects of Computing . 2011,第5期

机译：构建按钮式RESOLVE验证程序：进展与挑战
2. Measles and rubella vaccination coverage in Haiti, 2012: progress towards verifying and challenges to maintaining measles and rubella elimination. [J] . Rania A Tohme, Jeannot Fran?ois, Kathleen Wannemuehler, Tropical Medicine and International Health: TM and IH . 2014,第9期

机译：2012年海地的麻疹和风疹疫苗接种覆盖率：在验证和保持麻疹和风疹消除方面面临挑战。
3. Progress and challenges in forecast verification [J] . Ebert E., Wilson L., Weigel A., Meteorological applications . 2013,第2期

机译：预测验证的进展和挑战
4. WAZ OBC data velocity model building using FWI: New technologies to resolve imaging challenges, Gulf of Mexico shelf, Bay Marchand field [C] . Nathaniel Cockrell, Khaled Abdelaziz, Adrian Montgomery, Society of Exploration Geophysicists International Exposition and Annual Meeting . 2016

机译：WAZ OBC数据速度模型建筑使用FWI：解决成像挑战，墨西哥湾架，墨西哥湾，海湾Marchand领域的新技术
5. Push-button Verification of Systems Software [D] . Sigurbjarnarson, Helgi Kristvin. 2020

机译：按钮系统软件的按钮验证
6. Measles and rubella vaccination coverage in Haiti 2012: progress towards verifying and challenges to maintaining measles and rubella elimination [O] . Rania A. Tohme, Jeannot François, Kathleen Wannemuehler, -1

机译：2012年海地的麻疹和风疹疫苗接种覆盖率：在验证和维持麻疹和风疹消除的挑战方面取得的进展
7. Community engagement and building trust to resolve ethical challenges during humanitarian crises: experience from the CAGED study [O] . Getnet Yimer, Wondwossen Gebreyes, Arie Havelaar, 2020

机译：社区参与和建立信任在人道主义危机期间解决伦理挑战：笼中研究的经验

Building a push-button RESOLVE verifier: Progress and challenges

著录项

引文网络

相似文献

相关主题

期刊订阅